1. A practical guide to adopting the Universal Verification Methodology (UVM)
Author: Sharon Rosenberg, Kathleen A. Meade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
Classification :
QA76
.
76
.
V57
S537
2010
2. Ada 95 :
Author: John English.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Object-oriented programming (Computer science),Ada (Computer program language),Ada (langage de programmation),ADA 95.,Object-oriented programming (Computer science),Objektorientierte Programmierung.,Programmation orientée objets (informatique)
Classification :
QA76
.
64
.
E54
1997
3. Advances in computers.
Author: edited by Marshall C. Yovits.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Electronic data processing.,ARCHITECTURE (COMPUTERS),COMPUTER INFORMATION SECURITY.,COMPUTER NETWORKS.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,COMPUTERS.,DATA PROCESSING.,DESIGN ANALYSIS.,Electronic data processing.,MAN-COMPUTER INTERFACE.,PROTOCOL (COMPUTERS),U.S.S.R., 7
Classification :
QA76
.
A3eb
vol
.
29
4. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
5. Automated defect prevention
Author: / Dorota Huizinga, Adam Kolawa
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software failures--Prevention--Data processing,Software maintenance--Data processing,Debugging in computer science--Automatic control,Computer programs--Testing--Data processing,Computer programs--Correctness
Classification :
QA
,
76
.
76
,.
F34
,
H85
,
2007
6. Automated defect prevention :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software failures ; Prevention ; Data processing. ; Software maintenance ; Data processing. ; Debugging in computer science ; Automatic control. ; Computer programs ; Testing ; Data processing. ; Computer programs ; Correctness. ;
7. C programming :
Author: David R. Brooks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language)
Classification :
QA76
.
73
.
C15
D385
9999
8. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
9. Debugging Linux Systems /
Author: Sreekrishnan Venkateswaran.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,Linux.,Computer programs-- Testing.,Debugging in computer science-- Computer programs.,Computer programs-- Testing.,Computer Science.,Debugging in computer science-- Computer programs.,Engineering & Applied Sciences.
Classification :
QA76
.
9
.
D43
10. Debugging system 360/370 programs using OS and VS storage dumps
Author: / Daniel H. Rindfleisch
Library: Library of College of Science University of Tehran (Tehran)
Subject: IBM 360 (Computer) -- Programming,IBM 370 (Computer) -- Programming,Debugging in computer science
Classification :
QA
76
.
8
.
I12
R5
11. Django 1.1 testing and debugging
Author: Karen M. Tracey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Testing,Debugging in computer science,Python (Computer program language),Web site development,Web sites-- Authoring programs
Classification :
TK5105
.
8885
.
D54
T73
2010
12. Dtrace
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application logging (Computer science),Debugging in computer science-- Computer programs
Classification :
QA76
.
76
.
A63
.
D822
2010
13. Expert Oracle Application Express plug-ins
Author: Martin Giffy D'Souza
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Plug-ins (Computer programs)
Classification :
QA76
.
76
.
A65
G7437
2011
14. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
15. Fundamentals of Java :
Author: Kenneth Lambert, Martin Osborne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Examinations, questions, etc.,Java (Computer program language)
Classification :
QA76
.
73
.
J38
L353
2011
16. How not to program in C++
Author: / Steve Oualline
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: C++ (Computer program language),Error analysis (Mathematics),Debugging in computer science
Classification :
QA76
.
73
.
C153
,
O832
2003
17. How not to program in C+
Author: / Steve Oualline
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: C++ (Computer program language),Debugging in computer science.,Error analysis (Mathematics)
Classification :
QA
,
76
.
73
,.
C153
,
O832
,
2003eb
18. How not to program in C++ :
Author: Steve Oualline.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Debugging in computer science.,Error analysis (Mathematics),C++ (Computer program language),Debugging in computer science.,Error analysis (Mathematics)
Classification :
QA76
.
73
.
C153
O832
2003eb
19. How not to program in C++
Author: / Steve Oualline
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Debugging in computer science
Classification :
QA
76
.
73
.
C153O832
2003
20. Languages and Compilers for Parallel Computing :
Author: edited by Hironori Kasahara, Keiji Kimura.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
Classification :
QA76
.
58
E358
2013
